w a -> b